How To Prove Theorems Formally
نویسنده
چکیده
منابع مشابه
Weak convergence theorems for symmetric generalized hybrid mappings in uniformly convex Banach spaces
In this paper, we prove some theorems related to properties of generalized symmetric hybrid mappings in Banach spaces. Using Banach limits, we prove a fixed point theorem for symmetric generalized hybrid mappings in Banach spaces. Moreover, we prove some weak convergence theorems for such mappings by using Ishikawa iteration method in a uniformly convex Banach space.
متن کاملSubmodule of free Z-module1
In this article, we formalize a free Z-module and its property. In particular, we formalize the vector space of rational field corresponding to a free Z-module and prove formally that submodules of a free Z-module are free. Z-module is necassary for lattice problems LLL (Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattice [20]. Some theorems in this arti...
متن کاملOn the fixed point theorems in generalized weakly contractive mappings on partial metric spaces
In this paper, we prove a fixed point theorem for a pair of generalized weakly contractive mappings in complete partial metric spaces. The theorems presented are generalizations of very recent fixed point theorems due to Abdeljawad, Karapinar and Tas. To emphasize the very general nature of these results, we illustrate an example.
متن کاملPreservation theorems in {L}ukasiewicz \model theory
We present some model theoretic results for {L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {L}ukasiewicz $texttt{BL}$-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemizatio...
متن کاملFUZZY (POSITIVE, WEAK) IMPLICATIVE HYPER BCK-IDEALS
In this note first we define the notions of fuzzy positive implicativehyper BCK-ideals of types 1,2,3 and 4. Then we prove some theorems whichcharacterize the above notions according to the level subsets. Also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperBCK-ideals and fuzzy positive implicative hyper BCK-ideals of types 5,6,7and 8. Then, we define the no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005